-
1 аксиома математической индукции
Универсальный русско-английский словарь > аксиома математической индукции
-
2 аксиома
* * *аксио́ма ж.
axiom, postulate, principleаксио́ма не тре́бует доказа́тельства — an axiom needs no proofпринима́ть аксио́му без доказа́тельства — accept an axiom as primitive and therefore not subject to proofпринима́ть в ка́честве аксио́мы — take smth. as an axiom, take as an axiom that …аксио́ма Архиме́да — axiom of Archimedes, Archimedean axiom, Archimedean assumptionаксио́ма вы́бора — axiom of choiceаксио́ма математи́ческой инду́кции — axiom of complete [perfect] inductionаксио́ма мо́щности — axiom of powerаксио́ма о паралле́льных — parallel axiomаксио́ма отдели́мости — axiom of separabilityаксио́ма полноты́ — completeness axiom, axiom of completenessаксио́ма сохране́ния — retention axiomаксио́ма счё́тности — denumberability axiomаксио́ма треуго́льника — triangle axiom
См. также в других словарях:
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom of determinacy — The axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962. It refers to certain two person games of length ω with perfect information. AD states that every such game in… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
History of Physics — History of Physics † Catholic Encyclopedia ► History of Physics The subject will be treated under the following heads: I. A Glance at Ancient Physics; II. Science and Early Christian Scholars; III. A Glance at Arabian Physics; IV.… … Catholic encyclopedia
John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
nature, philosophy of — Introduction the discipline that investigates substantive issues regarding the actual features of nature as a reality. The discussion here is divided into two parts: the philosophy of physics and the philosophy of biology. In this… … Universalium
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia